{ x = Type } ∧ { y = Type }
